IF-THEN-ELSE A CONCURRENCY INHIBITOR IN EAGER BEAVER EVALUATION OF RECURSIVE PROGRAMSPAGE RL; CONANT MG; GRIT DH et al.1981; CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE/1981/PORTSMOUTH NH; USA; NEW YORK: ACM; DA. 1981; PP. 179-186; BIBL. 20 REF.Conference Paper

POUR UNE FORMALISATION MATHEMATIQUE DES PROBLEMES "TEMPS REEL". PREMIERE PARTIE = FOR A MATHEMATICAL FORMALIZATION OF REAL TIME PROBLEMS. PART ONEDECAMP ERIK.1981; ; FRA; DA. 1981; IMAG-RR/275; 23 P.; 30 CM; ABS. ENG;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR 275]Report

COLOURED PETRI NETS AND THE INVARIANT-METHODJENSEN F.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 14; NO 3; PP. 317-336; BIBL. 9 REF.Article

A GRAPH GRAMMAR REPRESENTATION OF NONCONSEQUENTIAL PROCESSESREISIG W.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 100; PP. 318-325; BIBL. 2 REF.Conference Paper

SYMMETRY BREAKING IN DISTRIBUTIVE NETWORKSITAI A; RODEH M.1981; ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 22/1981/NASHVILLE TN; USA; NEW YORK: INSTITUTE OF ELECTRICAL & ELECTRONICS ENGINEERS; DA. 1981; PP. 150-158; BIBL. 14 REF.Conference Paper

MOTS DE SYNCHRONISATIONROUCAIROL GP.1978; R.A.I.R.O., INFORMAT.; FRA; DA. 1978; VOL. 12; NO 4; PP. 277-290; BIBL. 13 REF.Article

FAST ALLOCATION OF NEARBY RESOURCES IN A DISTRIBUTED SYSTEMLYNCH NA.1980; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON THEORY OF COMPUTING. 12/1980/LOS ANGELES CA; USA; NEW YORK: ACM; DA. 1980; PP. 70-81; BIBL. 9 REF.Conference Paper

A ROBUST DISTRIBUTED SOLUTION TO THE DINING PHILOSOPHERS PROBLEMCARGILL TA.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 10; PP. 965-969; BIBL. 7 REF.Article

SYNCHRONISATION DE PROCESSUSCATTEUX M.1980; R.A.I.R.O., INFORMAT.; FRA; DA. 1980; VOL. 14; NO 2; PP. 103-135; ABS. ENG; BIBL. 26 REF.Article

POUR UNE FORMALISATION MATHEMATIQUE DES PROBLEMES "TEMPS REEL" = TOWARD A MATHEMATICAL FORMALIZATION OF REAL TIME PROBLEMDECAMP ERIK.1982; ; FRA; GRENOBLE: I.M.A.G.; DA. 1982; IMAG/RR-309; 47 P.; 30 CM; ABS. ENG; BIBL. 2 REF.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-309]Report

RELATIONAL SEMANTICS OF STRONGLY COMMUNICATING SEQUENTIAL PROCESSESGUERREIRO P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 310-326; BIBL. 1 P.Conference Paper

N-PHILOSOPHERS: AN EXERCISE IN DISTRIBUTED CONTROLCHANG E.1980; COMPUTER NETWORKS; NLD; DA. 1980; VOL. 4; NO 2; PP. 71-76; BIBL. 6 REF.Article

The drinking philosophers problemCHANDY, K. M; MISRA, J.ACM transactions on programming languages and systems. 1984, Vol 6, Num 4, pp 632-646, issn 0164-0925Article

Anti-Autonomism Defended: A Reply to HillMAITZEN, Stephen.Philosophia (Ramat Gan). 2008, Vol 36, Num 4, pp 567-574, issn 0048-3893, 8 p.Article

MOTIVES FOR PHILOSOPHIZING DEBUNKING AND WITTGENSTEIN'S PHILOSOPHICAL INVESTIGATIONSJOLLEY, Kelly Dean.Metaphilosophy. 2009, Vol 40, Num 2, pp 260-272, issn 0026-1068, 13 p.Article

A STARVATION-FREE SOLUTION OF THE DINING PHILOSOPHERS' PROBLEM BY USE OF INTERACTION SYSTEMSWEDDE H.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 534-543; BIBL. 10 REF.Conference Paper

UN LANGAGE DE SPECIFICATION DE SYSTEMES PARALLELES: DESCRIPTION DE LA SYNCHRONISATION PAR DES RESEAUX DE PETRIARMAND PATRICK.1979; ; FRA; DA. 1979; 150 P.: ILL.; 21 CM; BIBL. 4 P.; TH. 3E CYCLE: INF./NICE/1979Thesis

Rankers: a classification of synchronization problemsSINGH, A. K; GOUDA, M. G.Science of computer programming. 1993, Vol 21, Num 3, pp 191-223, issn 0167-6423Article